Перевод: с греческого на все языки

со всех языков на греческий

collection of formulae

См. также в других словарях:

  • Kripke–Platek set theory with urelements — The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements that is considerably weaker than the familiar system ZF. PreliminariesThe usual way of stating the axioms presumes a two sorted first order… …   Wikipedia

  • Triangle — This article is about the basic geometric shape. For other uses, see Triangle (disambiguation). Isosceles and Acute Triangle redirect here. For the trapezoid, see Isosceles trapezoid. For The Welcome to Paradox episode, see List of Welcome to… …   Wikipedia

  • Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu …   Wikipedia

  • De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… …   Wikipedia

  • Incircle and excircles of a triangle — A triangle (black) with incircle (blue), incentre (I), excircles (orange), excentres (JA,JB,JC), internal angle bisectors (red) and external angle bisectors (green) In geometry, the incircle or inscribed circle of a triangle is the largest circle …   Wikipedia

  • Manius Manilius — (fl. 148 BC) was a Roman Republican orator and distinguished jurist who also had a long military career. It is unclear if he was related to the Manius Manilius who was degraded by Cato the Censor for embracing his wife in broad daylight in Cato s …   Wikipedia

  • Divine Judgment —     Divine Judgment     † Catholic Encyclopedia ► Divine Judgment     This subject will be treated under two heads: I. Divine Judgment Subjectively and Objectively Considered; II. Pre Christian Beliefs Concerning Judgment after Death.… …   Catholic encyclopedia

  • formulary — (n.) 1540s, from Fr. formulaire “collection of formulae,” from L. formularius from formula (see FORMULA (Cf. formula)) …   Etymology dictionary

  • protocol —   n. preliminary draft of treaty; collection of formulae; rules of procedure and etiquette of state ceremonies, diplomatic exchanges, etc …   Dictionary of difficult words

  • RÖSSERT — GERMANY (see also List of Individuals) 2.7.1920 Elbersberg/D 19.2.2005 Coburg/D Robert Rössert graduated as a civil engineer from the Munich Technical University in 1949. He then joined Siemens Company as a hydraulic engineer until 1958, where he …   Hydraulicians in Europe 1800-2000

  • RDFLib — Infobox Software name = RDFLib developer = Daniel Krech latest release version = 2.4.0 latest release date = April 4, 2007 operating system = Cross platform genre = Library license = BSD website = [http://rdflib.net/ http://rdflib.net/] RDFLib is …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»